On Applying Tabling to Inductive Logic Programming
نویسندگان
چکیده
It is recognized that efficiency and scalability is a major obstacle to an increased usage of Inductive Logic Programming (ILP) in complex applications with large hypotheses spaces. In this work, we focus on improving the efficiency and scalability of ILP systems by exploring tabling mechanisms available in the underlying Logic Programming systems. We present two different approaches. Our first approach is a direct application of tabling to query execution. The second approach is designed to take advantage of the redundancy in ILP search. To validate our approaches, we ran the April ILP system in the YapTab Prolog tabling system using two well-known datasets. The results obtained show quite impressive gains without changing the theories generated.
منابع مشابه
On Applying Or-Parallelism and Tabling to Logic Programs
Logic Programming languages, such as Prolog, provide a high-level, declarative approach to programming. Logic Programming offers great potential for implicit parallelism, thus allowing parallel systems to often reduce a program’s execution time without programmer intervention. We believe that for complex applications that take several hours, if not days, to return an answer, even limited speedu...
متن کاملWhen tabling does not work
Tabled execution has been successfully applied in various domains such as program analysis, model checking, parsing, . . . A recent target of tabling is the optimization of Inductive Logic Programming. Due to the iterative nature of ILP algorithms, queries evaluated by these algorithms typically show a lot of similarity. To avoid repeated execution of identical parts of queries, answers to the ...
متن کاملOn Applying Or-Parallelism to Tabled Evaluations
One important advantage of logic programming is that it allows the implicit exploitation of parallelism. Towards this goal, we suggest that or-parallelism can be eeciently exploited in tabling systems and propose two alternative approaches, Or-Parallelism within Tabling (OPT) and Tabling within Or-Parallelism (TOP). We then focus on OPT approach where environment copying is used to implement or...
متن کاملFire! Firing Inductive Rules from Economic Geography for Fire Risk Detection
Wildfires can importantly affect the ecology and economy of large regions of the world. Effective prevention techniques are fundamental to mitigate their consequences. The design of such preemptive methods requires a deep understanding of the factors that increase the risk of fire, particularly when we can intervene on these factors. This is the case for the maintenance of ecological balances i...
متن کاملThe PITA System for Logical-Probabilistic Inference
Probabilistic Inductive Logic Programming (PILP) is gaining interest due to its ability to model domains with complex and uncertain relations among entities. Since PILP systems generally must solve a large number of inference problems in order to perform learning, they rely critically on the support of efficient inference systems. PITA [7] is a system for reasoning under uncertainty on logic pr...
متن کامل